Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
نویسندگان
چکیده
In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction resolution system described by Griffeth and Velthuijsen [7]. We discuss the main features of CASL that make it a useful language for specifying and verifying multiagent systems. CASL has a nice mix of declarative and procedural elements with a formal semantics to facilitate the verification of properties of CASL specifications.
منابع مشابه
Modeling Mental States in Agent-Oriented Requirements Engineering
This paper describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalism CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design choices affect the agents’ goals...
متن کاملUsing the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models
This chapter describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalisms ConGolog and its extension CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design ch...
متن کاملA Framework for Large Scale Complex Adaptive Systems Modeling, Simulation, and Analysis
Complex adaptive systems (CAS) exhibit properties beyond complex systems such as self-organization, adaptability and modularity. Designing models of CAS is typically a nontrivial task as many components are made up of subcomponents and rely on a large number of complex interactions. Studying features of these models also requires specific work for each system. Moreover, running these models as ...
متن کاملA Comprehensive Conflict Resolution Approach for Multiagent Systems
The paper contributes a novel conflict resolution approach in multiagent systems. The approach proposes methods namely conflict avoidance, conflict prevention and conflict detection, for handling conflicts in any generic interaction protocol in multiagent systems. The proposed approach is comprehensive as it considers avoidance, prevention, detection and resolution of conflict and presents a co...
متن کاملReasoning about Cognitive Robotics Systems From the Specification of Multiagent Systems by Statecharts to their Formal Analysis by Model Checking
A formalism for the specification of multiagent systems should be expressive and illustrative enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events from the environment. For this, state machines [19] seem to provide an adequate means. Furthermore, it should be easily possible to obtain an implement...
متن کامل